Let $f$ be a discrete function on $M$ whose derivative vanishes. For any two points $i$ and $j$ in the same connected component we have a path $\gamma$ from $i$ to $j$ and $\displaystyle f(j)-f(i) = \int_\gamma df = 0$ … Continue reading Locally constant functions